141. Practical TLA+ :
پدیدآورنده : Hillel Wayne.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers),SDL (Computer program language),Computer programming-- software development.,COMPUTERS-- Programming Languages-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),SDL (Computer program language),Software Engineering.
رده :
QA76
.
7
142. Practical industrial safety, risk assessment and shutdown systems for industry
پدیدآورنده : / Dave Macdonald
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Automatic control,Industrial safety,Risk assessment,Electronic books. , local
رده :
E-BOOK
143. Principles of GNSS, inertial, and multisensor integrated navigation systems /
پدیدآورنده : Paul D. Groves.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial satellites in navigation.,Global Positioning System.,Inertial navigation systems.,Navigation-- Technological innovations.,Artificial satellites in navigation.,Global Positioning System.,Inertial navigation systems.,TECHNOLOGY & ENGINEERING-- Engineering (General)
رده :
TL798
.
N3
G76
2013eb
144. Pro PowerShell desired state configuration :
پدیدآورنده : Ravikanth Chaganti.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Scripting languages (Computer science),Windows PowerShell (Computer program language),COMPUTERS-- Programming Languages-- General.,Microsoft programming.,Scripting languages (Computer science),Software Engineering.,Windows PowerShell (Computer program language)
رده :
QA76
.
73
.
W56
145. Proceedings of the FISITA 2012 World Automotive Congress. Volume 7, Vehicle design and testing (I) :
پدیدآورنده : Society of Automotive Engineers of China (SAE-China), International Federation of Automotive Engineering Societies (FISITA), editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automobiles -- Design and construction -- Congresses.,Ingénierie.,TRANSPORTATION -- Automotive -- Customizing.
146. Processor design :
پدیدآورنده : edited by Jari Nurmi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application-specific integrated circuits.,Field programmable gate arrays.,Systems on a chip.,Application-specific integrated circuits.,Field programmable gate arrays.,Ingénierie.,Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
P76
2007eb
147. Product lifecycle management for society :
پدیدآورنده : Alain Bernard, Louis Rivest, Debasish Dutta, (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Product life cycle -- Congresses.,Product life cycle.,Product management -- Congresses.
148. Quality and Reliability of Technical Systems :
پدیدآورنده : by Alessandro Birolini.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering.,Organization.,Planning.
رده :
TA169
.
B935
1994
149. Quantitative assessments of distributed systems :
پدیدآورنده : edited by Dario Bruneo and Salvatore Distefano
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems-- Evaluation-- Mathematics,Electronic data processing-- Distributed processing-- Mathematical models.,Quantitative research.,System analysis-- Mathematics.
رده :
QA76
.
9
.
E94
150. Query Processing in Database Systems
پدیدآورنده : edited by Won Kim, David S. Reiner, Don S. Batory.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Database management.
رده :
QA76
.
9
.
D3
E358
1985
151. Real Time Microcomputer Control of Industrial Processes
پدیدآورنده : edited by Spyros G. Tzafestas, J.K. Pal.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Microprogramming.,Software engineering.
152. Real-Time Object Measurement and Classification
پدیدآورنده : edited by Anil K. Jain.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer hardware.,Computer science.,Software engineering.
رده :
TJ211
.
3
E358
1988
153. Real-time systems design and analysis. ]CD[
پدیدآورنده : Laplante, Phillip A., Phillip A. Laplante
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Real-time data processing,، System design
رده :
QA76
.
54
.
L37
2004
154. Real-time systems design and analysis /
پدیدآورنده : Phillip A. Laplante
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Real-time data processing,System design
رده :
QA76
.
54
.
L37
2004
155. Recent trends in computer applications :
پدیدآورنده : editors, Jihad Mohamad Alja'am, Abdulmotaleb El Saddik and Abdul Hamid Sadk.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Application software.,Artificial intelligence.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Data mining.,Information retrieval.,Information technology.,Information technology: general issues.,Teaching skills & techniques.
رده :
QA75
.
5
156. Requirements Engineering Fundamentals
پدیدآورنده : Klaus Pohl, Chris Rupp.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Requirements engineering-- Examinations, Study guides.,Software engineering-- Examinations, Study guides.,System design-- Examinations, Study guides.
157. Requirements Engineering with Use Cases. - a Basis for Software Development
پدیدآورنده : Regnell,Bjorn
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، System design -- Congresses,، System analysis -- Congresses,، Computer software -- Development -- Congresses
رده :
QA
76
.
9
.
R46
1999
158. Requirements engineering for software and systems /
پدیدآورنده : Phillip A. Laplante
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Requirements engineering,Software engineering,System design
159. Requirements engineering for software and systems
پدیدآورنده : / Phillip A. Laplante
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Software engineering.,System design.,Requirements engineering.
160. Requirements writing for system engineering /
پدیدآورنده : George Koelsch
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Requirements engineering,Systems engineering
رده :
QA76
.
758
